Date: Tue, 14 Jan 1997 22:08:46 GMT
Server: NCSA/1.5
Content-type: text/html

<TITLE>The IEEE-CS TC-RTS Home Page
</TITLE>


<center><TABLE BORDER=6 CELLPADDING=0><TR><TD><!WA0><IMG src="http://cs-www.bu.edu/pub/ieee-rts/ieee-rts-logo.gif"></TD></TR></TABLE></center>

<HR>

<H1>The IEEE-CS TC-RTS Home Page
</H1>
Welcome to the WWW Home Page of the <!WA1><A href="http://www.ieee.org/">IEEE</A> 
<!WA2><A href="http://www.computer.org/">Computer Society</A>, 
Technical Committee on Real-Time Systems (IEEE-CS TC-RTS).
<P>


<TABLE  BORDER=3 CELLPADDING=7 width=100%>
<TD align=center valign=center>
<!WA3><IMG SRC="http://cs-www.bu.edu/lib/icons/new.gif"> <!WA4><IMG SRC="http://cs-www.bu.edu/lib/icons/new.gif">
<!WA5><A href="http://www.cs.bu.edu/techreports/96-027-ieee-rtss96-wip">
    RTSS'96 WIP Proceedings are On-Line</A>
<!WA6><IMG SRC="http://cs-www.bu.edu/lib/icons/new.gif"> <!WA7><IMG SRC="http://cs-www.bu.edu/lib/icons/new.gif">
</TD>
</TR>
</TABLE>
<P>

<H3>TC-RTS Archives
</H3>
<UL>
<LI><!WA8><A href="http://cs-www.bu.edu/ftp/IEEE-RTTC/README">
    Apropos</A>
<LI><!WA9><A href="http://cs-www.bu.edu/ftp/IEEE-RTTC/TableOfContents">
    Archive contents</A>
<LI><!WA10><A href="http://cs-www.bu.edu/ftp/IEEE-RTTC/newsletter/">
    Archived Newsletters</A>
<LI><!WA11><A href="http://cs-www.bu.edu/ftp/IEEE-RTTC/bboard/">
    Recent CFP & announcements</A>
<LI><!WA12><A href="http://cs-www.bu.edu/ftp/IEEE-RTTC/public/">
    Contributions from IEEE-CS TC-RTS members</A>
</UL>

<H3>Real-Time Research Groups at Universities
</H3>
<UL>
<LI><!WA13><A href="http://cs-www.bu.edu/groups/realtime/Home.html">
    Boston University, USA</A>
<LI><!WA14><A href="http://www.cs.cornell.edu/Info/People/tah/formal_methods_at_cornell.html">
    Cornell University, USA</A>
<LI><!WA15><A href="http://www.cis.ksu.edu/real-time-systems.html">
    Kansas State University, USA</A>
<LI><!WA16><A href="http://www.cs.tamu.edu/research/realtime/">
    Texas A&M University, USA</A>
<LI><!WA17><A href="http://www.cs.adelaide.edu.au/~realtime">
    University of Adelaide, Australia</A>
<LI><!WA18><A href="http://loochi.bpa.arizona.edu/">
    University of Arizona, Tuscon, USA</A>
<LI><!WA19><A href="http://tenet.berkeley.edu/">
    University of California, Berkeley, USA</A>
<LI><!WA20><A href="http://www.cs.cmu.edu/Web/Groups/real-time/cmu.html">
    Carnegie Mellon University, Pittsburgh, USA</A>
<LI><!WA21><A href="http://www.cs.fsu.edu/~doh/realtime.html">
    Florida State University, Florida, USA</A>
<LI><!WA22><A href="http://www.cis.ufl.edu/~sharma/research/active.html">
    University of Florida, Florida, USA</A>
<LI><!WA23><A href="http://www.cs.uh.edu/~rtsl">
    University of Houston, Texas, USA</A>
<LI><!WA24><A href="http://pertsserver.cs.uiuc.edu/">
    University of Illinois, Urbana Champaign, USA</A>
<LI><!WA25><A href="http://www.cs.umd.edu/projects/realtime">
    University of Maryland (CS), USA</A>
<LI><!WA26><A href="http://www.ee.umd.edu/serts/">
    University of Maryland (EE), USA</A>
<LI><!WA27><A href="http://www-ccs.cs.umass.edu/">
    University of Massachusetts, Amherst, USA</A>
<LI><!WA28><A href="http://theory.lcs.mit.edu/tds/">
    Massachusetts Institute of Technology, Cambridge, USA</A>
<LI><!WA29><A href="http://www.eecs.umich.edu/RTCL">
    University of Michigan, Ann Arbor, USA</A>
<LI><!WA30><A href="http://www.njit.edu/njIT/Department/CIS/RTCL/rtcl.html">
    New Jersey Institute of Technology, USA</A>
<LI><!WA31><A href="http://www.nmt.edu/~realtime/">
    New Mexico Tech, New Mexico, USA</A>
<LI><!WA32><A href="http://www.cs.unc.edu:80/dirt/">
    University of North Carolina, Chapel Hill, USA</A>
<LI><!WA33><A href="http://www.cis.upenn.edu/~rtg/home.html">
    University of Pennsylvania, USA</A>
<LI><!WA34><A href="http://www.cs.pitt.edu/Projects/rt.html">
    University of Pittsburgh, USA</A>
<LI><!WA35><A href="http://www.cs.uri.edu/rtsorac/">
    University of Rhode Island, USA</A> 
<LI><!WA36><A href="http://www.sssup.it/www/ricerca/realtime/hrtgroup.html">
    Scuola Superiore S. Anna of Pisa, Italy</A>
<LI><!WA37><A href="http://realtime.snu.ac.kr/realtime">
    Seoul National University, Korea</A>
<LI><!WA38><A href="http://www.cs.utexas.edu/users/cpg/RTS/">
    University of Texas, Austin, USA</A>
<LI><!WA39><A href="http://www.docs.uu.se/docs/rt/real-time.html">
    Uppsala University, Sweden</A>
<LI><!WA40><A href="http://uvacs.cs.virginia.edu/~vadb/rtresearch.html">
    University of Virginia, USA</A>
<LI><!WA41><A href="http://www.cs.washington.edu/research/research-samples/real-time.html">
    University of Washington, USA</A>
<LI><!WA42><A href="http://dcpu1.cs.york.ac.uk:6666/real-time">
    University of York, England</A>
</UL>

<H3>Real-Time Research Groups at Institutes and Centers
</H3>
<UL>
<LI><!WA43><A href="http://ciir.cs.umass.edu/criccs.html">
    CRICCS: Center for Real-Time Intelligent Complex Computer Systems, USA</A>
<LI><!WA44><A href="http://wwwsel.iit.nrc.ca/">
    IIT-NRC: Institute for Information Technology, NRC, Canada</A>
<LI><!WA45><A href="http://www.sei.cmu.edu/FrontDoor.html">
    SEI: The Software Engineering Institute, USA</A>
</UL>

<H3>Special Interest Groups in Real-Time Systems Research
</H3>
<UL>
<LI><!WA46><A href="http://www.eng.uci.edu/ece/rtdb/rtdb.html">
    Real-Time Database Interest Group</A>
<LI><!WA47><A href="http://www.math.ecu.edu/rtsql/">
    Real-Time SQL Consortium</A>
<LI><!WA48><A href="http://www.docs.uu.se/~hansh/snart.html">
    SNART: The Swedish National Real-Time Association</A>
<LI><!WA49><A href="http://www.cs.utwente.nl/data/amast/Index.html">
    AMAST Information Server</A>
</UL>

<H3>Archives of IEEE-CS TC-RTS Symposia</H3>
<UL>
<LI><!WA50><A href="http://www.cs.cmu.edu/~rtas97">
    The 1997 Real-Time Technology and Applications Symposium, Montreal, Canada</A>
<LI><!WA51><A href="http://cs-www.bu.edu/pub/ieee-rts/rtss96/Home.html">
    The 1996 Real-Time System Symposium, Washington, D.C.</A>
<LI><!WA52><A href="http://www.cs.unc.edu/~jeffay/rtas.html">
    The 1996 Real-Time Technology and Applications Symposium, Boston, MA</A>
<LI><!WA53><A href="http://cs-www.bu.edu/pub/ieee-rts/rtss95/Home.html">
    The 1995 Real-Time System Symposium, Pisa, Italy</A>
<LI><!WA54><A href="ftp://cs-ftp.bu.edu/IEEE-RTTC/bboard/rtas95.txt">
    The 1995 Real-Time Applications and Technology Symposium, Chicago, Illinois</A>
<LI><!WA55><A href="ftp://cs-ftp.bu.edu/IEEE-RTTC/bboard/old/ABS.rtss94.txt">
    The 1994 Real-Time System Symposium, San Juan, Puerto Rico</A>
</UL>

<H3>Archives of other Real-Time Conferences and Workshops</H3>
<UL>
<LI><!WA56><A href="http://www.dit.upm.es/~aalonso/ewrts">
    9th Euromicro Workshop on Real-Time Systems'97</A>
<LI><!WA57><A href="http://cselab.snu.ac.kr/RTCSA96">
    3rd Workshop on Real-Time Computing Systems and Applications, Seoul, Korea</A>
<LI><!WA58><A href="http://cs-www.bu.edu/pub/rtdb97">
    RTDB'97: The 2nd International Workshop on Real-Time Databases, Vermont</A>
    <!WA59><IMG SRC="http://cs-www.bu.edu/lib/icons/new.gif"> 
<LI><!WA60><A href="http://www-ccs.cs.umass.edu/sdcr/">
    ACM-50: Strategic Research in Real-Time Computing</A>
<LI><!WA61><A href="http://www.his.se/ida/%7Ejorgen/ARTDB-97/">
    ARTDB'97: Workshop on Active and Real-Time Database Systems</A>
<LI><!WA62><A href="http://www.cs.pitt.edu/~gupta/lct-rts97.html">
    1997 SIGPLAN Workshop on Languages, Compilers, and Tools for RT Systems</A>
<LI><!WA63><A href="http://cs-www.bu.edu/pub/ieee-rts/bboard/dart96.txt">
    DART'96: Databases: Active & Real-Time</A>
<LI><!WA64><A href="http://www.ele.vtt.fi/projects/8th_euro/8th_home.htm">
    The 8th Euromicro Workshop on Real-Time Systems, L'Aquila, Italy.</A>
<LI><!WA65><A href="http://www.eng.uci.edu/ece/rtdb/rtdb96.html">
    The 1st International Workshop on Real-Time Databases, Newport
    Beach, CA</A>
<LI><!WA66><A href="http://www.cs.virginia.edu/~son/cfp96.html">
    The 4th Workshop on Parallel and Distributed Real-Time Systems, Hawaii.</A>
<LI><!WA67><A href="http://www.his.se/ida/ARTDB-95/">
    ARTDB'95: Workshop on Active and Real-Time Database Systems</A>
<LI><!WA68><A href ="http://www.cs.umd.edu/projects/TimeWare/sigplan95">
    The 1995 LCT-RT ACM SIGPLAN Workshop</A>
<LI><!WA69><A href="http://tron.is.s.u-tokyo.ac.jp/RTCSA95/">
    2nd Workshop on Real-Time Computing Systems and Applications, Tokyo, Japan</A>
<LI><!WA70><A href="http://www.pst.informatik.uni-muenchen.de/amast96">
    AMAST'96 Algebraic Methodology and Software Technology,  Munich, Germany</A>
<LI><!WA71><A href="http://www.cs.utwente.nl/data/amast/links/v02/i01/AL0201C1.html">
    AMAST Workshop on Real-Time Systems, Bordeaux, France</A>
<LI><!WA72><A href="http://www.cs.umd.edu/~pugh/sigplan_realtime_workshop_94/">
    The 1994 LCT-RT ACM SIGPLAN Workshop, Orlando, FL</A>
<LI><!WA73><A href="ftp://ftp.fernuni-hagen.de/pub/fachb/et/it/wrtp94">
    The 1994 Workshop on Real-Time Programming, Lake Constance, Germany</A>
</UL>

<H3>Real-Time Courses, Tutorials, Summaries, etc.</H3>
<UL>
<LI><!WA74><A href="http://cs-www.bu.edu/ftp/IEEE-RTTC/public/syllabus.ps">
    Real-Time syllabus (compliant with the 1991 IEEE/ACM CS Curriculum)</A>
<LI><!WA75><A href="http://cs-www.bu.edu/faculty/best/crs/cs835">
    Real-Time Seminar at Boston University</A>
<LI><!WA76><A href="http://www.merl.com/TR/TR96-15/Welcome.html">
    RTAS'96 Tutorial: On ATM Support for Distributed Real-Time Applications</A>
<LI><!WA77><A href="http://www.objectime.com/Papers/RTAS96.tutorial.slides.ps">
    RTAS'96 Tutorial: Real-Time Object-Oriented Modeling</A>
<LI><!WA78><A href="http://cs-www.bu.edu/techreports/96-013-rtdb96-report/Home.html">
    RTDB'96: Real-Time Databases Workshop Report</A>
<LI><!WA79><A href="http://www-ccs.cs.umass.edu/sdcr/">
    ACM 50th Anniversary Report on Real-Time Computing Research</A>
</UL>


<H3>Real-Time Journals and Books</H3>
<UL>
<LI><!WA80><A href = "gopher://Gopher.wkap.nl:70/11gopher_root%3A%5B_journal._jrnl.time%5D">
    Real-Time Systems Journal, Kluwer Academic Publishers</A>
<LI><!WA81><A href = "gopher://Gopher.wkap.nl:70/1exec%3AReal%20Time%20Systems%2Cgopher_root%2C%5B_wkapis._index%5Dcat*.*%20%20%20%20%20%20%3Agopher_root%3A%5B_script%5Dwk003.script">
    Real-Time Books, Kluwer Academic Publishers</A>
</UL>


<H3>Real-Time Magazines</H3>
<UL>
<LI><!WA82><A href="http://www.primenet.com/~magpub">
    Real-time Engineering Magazine </A>
<LI><!WA83><A href="http://www.realtime-info.be/encyc/magazine/magazine.htm">
    The Real-Time Magazine</A>
<LI><!WA84><A href="http://www.embedded.com/mag.htm">
    The Embedded Systems Programming Magazine</A>
<LI><!WA85><A href="http://www.iwy.com/old_rtc/mag1.html">
    The Real-Time Computing Magazine</A>
<LI><!WA86><A href="http://www.cris.com/~Tics/ticsmag.htm">
    The Tics Real-Time Magazine</A>
</UL>

<H3>Real-Time Research Tools and Commercial Products</H3>
<UL>
<LI><!WA87><A href="http://www.allegrosys.com">
    Allegro Real-Time Operating System</A>
<LI><!WA88><A href="http://www.mcb.net/jmi/cexec.html">
    C Executive and PSX</A>
<LI><!WA89><A href="http://www.docs.uu.se/%7Eken/CAN.html">
    Controller Area Network</A>
<LI><!WA90><A href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/chimera/www/home.html">
    Chimera Real-Time Operating System from Carnegie Mellon University</A>
<LI><!WA91><A href="ftp://ftp.chorus.fr/pub/">
    Chorus Operating System</A>
<LI><!WA92><A href="http://wwwsel.iit.nrc.ca/harmony.html">
    Harmony Real-Time System by IIT/NRC</A>
<LI><!WA93><A href="http://www.isi.com">
    Integrated Systems' pSOS RTOS</A>
<LI><!WA94><A href="http://tron.is.s.u-tokyo.ac.jp/TRON/ITRON/home-e.html">
    Industrial TRON RTOS specification for embedded systems</A>
<LI><!WA95><A href="http://www.cs.arizona.edu/people/bridges/os/realtime.html">
    The Maruti RTOS</A>
<LI><!WA96><A href="http://www.lynx.com/">
    Lynx Real-Time Systems</A>
<LI><!WA97><A href="http://www.objectime.on.ca">
    The ObjecTime Toolset</A>
<LI><!WA98><A href="http://www.hcsc.com">
    Power Hawk and Power Unix by Harris Computer Systems</A>
<LI><!WA99><A href="http://www.achilles.net/~psti/">
    Precise Software Technologies Inc.</A>
<LI><!WA100><A href="http://www.tripac.com/TPPERTS.html">
    PERTS: Prototyping Environment for Real-Time Systems</A>
<LI><!WA101><A href="http://www.qnx.com/">
    QNX Software Systems</A>
<LI><!WA102><A href="http://luz.cs.nmt.edu/~rtlinux/">
    Real-Time Linux Operating Systems</A>
<LI><!WA103><A href="http://www.rtmx.com">
    RTMX: Real Time IEEE POSIX Operating Systems and Tools</A>
<LI><!WA104><A href="http://www.cs.cmu.edu/afs/cs/project/art-6/www/rtmach.html">
    Real-time Mach Operating System from Carnegie Mellon University</A>
<LI><!WA105><A href="http://lancelot.gcs.redstone.army.mil/rg4/rtems.html">
    RTEMS Executives for Military Systems</A> 
<LI><!WA106><A href="http://world.std.com/~mikep/rtx-page.html">
    RTX Real-time Executive</A>
<LI><!WA107><A href="http://www.systran.com/Products/SCRAMNet/snintro.html">
    SCRAMNet Network for distributed RT Applications</A>
<LI><!WA108><A href="http://www.sgi.com/real-time">
    Silicon Graphics IRIX REACT and REACT Pro Real-Time Support</A>
<LI><!WA109><A href="http://www.braineng.com/sosrt.htm">
    SOS/RT Real-Time Operating System</A>
<LI><!WA110><A href="http://www.sun.com/tech/projects/spring/index.html">
    The Spring System from Sun Microsystems</A>
<LI><!WA111><A href="http://www.telelogic.se/">
    Telelogic Tools for Communicating Systems</A>
<LI><!WA112><A href="http://www.vci.com">
    VenturCom Real-Time Support for Unix and Windows/NT</A>
<LI><!WA113><A href="http://www.verilogusa.com/og.htm">
    Verilog ObjectGEODE Toolset</A>
<LI><!WA114><A href="http://www.mri.com">
    VRTX from Microtec Research</A>
<LI><!WA115><A href="http://www.wrs.com/">
    Wind River Systems</A>
</UL>

<H3>Other Tools and Commercial Products</H3>
<UL>
<LI><!WA116><A href="http://www.encore.com/realtime/">
    Encore Real-Time Computers</A>
<LI><!WA117><A href="http://www.labtech.com/">
    Labtex Data Acquisition and Process Control Systems</A>
<LI><!WA118><A href="http://www.projtech.com">
    Project Technology tools for Shlaer-Mellor OO Methodology</A>
</UL>

<H3>Other Interesting Pointers</H3>
<UL>
<LI><!WA119><A href="http://www.ieee.org/">
    IEEE: Institute for Elelctric and Electronic Engineers</A>
<LI><!WA120><A href="http://www.computer.org/">
    IEEE-CS: IEEE Computer Society</A>
<LI><!WA121><A href="http://www.acm.org/">
    ACM: Association for Computing Machinery</A>
<LI><!WA122><A href="http://www.siam.org">
    SIAM: Society for Industrial and Applied Mathematics</A>
<LI><!WA123><A href="http://www.cra.org/">
    CRA: Computing Research Association</A>
<LI><!WA124><A href = "http://stis.nsf.gov/">
    NSF: National Science Foundation</A>
<LI> <!WA125><A href = "http://www.ncstrl.org/">
    Networked Computer Science Technical Reports Library</A>
<LI><!WA126><A href="http://www.cs.indiana.edu/cstr/search">
    Unified CS Technical Reports</A>
<LI><!WA127><A href="news:comp.realtime">
    Real-Time Newsgroup</A>
</UL>

<HR>

<CENTER><H5>Copyright &copy; 1992-1996. All rights reserved.</H5></CENTER>

<PRE><HR>Maintainer: <!WA128><A href = "http://cs-www.bu.edu/faculty/best/Home.html">Azer Bestavros</A> (<!WA129><A href = "mailto:best@cs.bu.edu">best@cs.bu.edu</A>)
Created on: June 13, 1994.
Updated on: July  8, 1996.
</PRE>


